Qué (quién) es Клини - definición

Стивен Коул (р. 5.1.1909, Хартфорд, штат Коннектикут), американский логик и математик. В 1934 получил степень доктора философии в Принстонском университете. Профессор Висконсинского университета (Мадисон) с 1948. Основные работы посвящены теории алгоритмов и рекурсивных функций, а также проблемам интуиционистской логики и математики. В частности, им доказана эквивалентность введённого А. Чёрчем понятия λ-определимости функций с общерекурсивностью. Введённое К. понятие (рекурсивной) реализуемости формул лежит в основе интуиционистской интерпретации арифметических суждений. К. - автор ряда широко известных монографий по математической логике, основаниям математики и теории рекурсивных функций.

Соч. в рус. пер.: Введение в метаматематику, М., 1957.

КЛИН, клина, мн. клинья, клиньев, ·муж.

1. Заостренный книзу и расширяющийся кверху кол, кусок дерева или железа, употр. для расщепления, раскалывания дерева. Загнать клин в бревно. Дубовые клинья.

2. О треугольной заостренной форме предметов. Борода клином. Пашня клином врезалась в лес.

3. Узкая треугольная вставка в платье (·порт. ). Вставить клиин. Вшить клин.

4. Часть полей, земельных угодий, засеваемых в одну очередь, в один сезон (с.-х.). Яровой клин. Озимый клин.

• Дело клипом сошлось (·разг.) - создалось безвыходное положение. Свет не клином сошелся (·разг.) - 1) простору много, есть еще место кроме этого; 2) есть еще выбор или есть еще выход из положения. Клином не вышибешь чего из кого (·разг.) - перен. не поддается никаким усилиям, воздействиям, крепко сидит что-нибудь в ком-нибудь.